Home
Add Document
Sign In
Register
Manuel Silva's Documents
Home
Manuel Silva's Documents
Manuel Silva's Documents
Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers
Read more
Química Inorgânica Básica
Read more
Dynamic Characterisation of Analogue-to-Digital Converters
Read more
The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500 TM Frontiers in Electronic Testing
Read more
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Read more
Soft Computing and Intelligent Systems Design: Theory, Tools and Applications
Read more
The Chemistry of Evolution: The Development of our Ecosystem
Read more
Sequential Methods and Their Applications
Read more
Complex analysis and geometry
Read more
Sequential Methods and Their Applications
Read more
The Hacker Ethic
Read more
Engineering the User Interface: From Research to Practice
Read more
Cell planning for wireless communications
Read more
Land & Development in Latin America: Openings for Policy Research
Read more
Current Topics in Artificial Intelligence, 12 conf., CAEPIA 2007
Read more
Hybrid Artificial Intelligent Systems, Part I: 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings (Lecture ... Lecture Notes in Artificial Intelligence)
Read more
Multiphase Bioreactor Design
Read more
Hybrid Artificial Intelligent Systems, Part II: 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings (Lecture ... Lecture Notes in Artificial Intelligence)
Read more
Handbook of Biofuels Production: Processes and Technologies (Woodhead Publishing Series in Energy)
Read more
Basics of Anesthesia, 6th Edition
Read more
Clean Code: A Handbook of Agile Software Craftsmanship
Read more
Representation and Photography: A Screen Education Reader
Read more
Current Trends in Relativistic Astrophysics
Read more
Towards Mechanized Mathematical Assistants, 14 conf., Calculemus 2007
Read more
Ecohouse: A Design Guide
Read more
Ecohouse: A Design Guide
Read more
Povijest retorike od Grka do današnjih dana
Read more
Synergetic phenomena in active lattices
Read more
Analog Circuits and Systems Optimization based on Evolutionary Computation Techniques (Studies in Computational Intelligence, 294)
Read more
Synergetic phenomena in active lattices
Read more
«
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
»
×
Sign In
Email
Password
Remember me
Forgot password?
Sign In
Login with Facebook
Our partners will collect data and use cookies for ad personalization and measurement.
Learn how we and our ad partner Google, collect and use data
.
Agree & close